$\forall$$A$:Type, ${\it as}$:($A$ List), $n$:int\_iseg(0; $\parallel$${\it as}$$\parallel$). $\parallel$firstn($n$; ${\it as}$)$\parallel$ = $n$ $\in$ $\mathbb{Z}$